Received: from bigboote.WPI.EDU by cs.umb.edu with SMTP id AA28664
(5.65c/IDA-1.4.4 for <tex-k@cs.umb.edu>); Fri, 22 Jul 1994 12:47:08 -0400
Received: from avante.WPI.EDU (avante.WPI.EDU [130.215.24.48]) by bigboote.WPI.EDU (8.6.9/8.6) with ESMTP id MAA18323 for <tex-k@cs.umb.edu>; Fri, 22 Jul 1994 12:47:07 -0400
From: John Stoffel <john@wpi.edu>
Received: by avante.WPI.EDU (8.6.9/6.12) id MAA28699; Fri, 22 Jul 1994 12:47:04 -0400